Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Upgrade version number to 0.41.0 #2884

Merged
merged 7 commits into from
Nov 17, 2023
Merged

Upgrade version number to 0.41.0 #2884

merged 7 commits into from
Nov 17, 2023

Conversation

jaisnan
Copy link
Contributor

@jaisnan jaisnan commented Nov 16, 2023

Upgrade version number to 0.41.0

The CHANGELOG changes are:

# What's Changed
* Fix setup for `aarch64-unknown-linux-gnu` platform by @adpaco-aws in https://github.com/model-checking/kani/pull/2864
* Do not override `std` library during playback by @celinval in https://github.com/model-checking/kani/pull/2852
* Fix docker build step in release workflow by @adpaco-aws in https://github.com/model-checking/kani/pull/2854
* Fix path-dependent failures in `assess-artifacts` test by @adpaco-aws in https://github.com/model-checking/kani/pull/2849
* Automatic toolchain upgrade to nightly-2023-11-11 by @github-actions in https://github.com/model-checking/kani/pull/2870

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.40.0...kani-0.41.0

### Breaking Changes

* Set minimum python to 3.7 in docker container and release action by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/2879
* Delete `any_slice` which has been deprecated since Kani 0.38.0. by @zhassan-aws in https://github.com/model-checking/kani/pull/2860

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@jaisnan jaisnan requested a review from a team as a code owner November 16, 2023 22:08
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Nov 16, 2023
adpaco-aws
adpaco-aws reviewed Nov 16, 2023
View reviewed changes
Copy link
Contributor

@adpaco-aws adpaco-aws left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You've copied the proposed release notes into the description, but what we need are the auto-generated release notes, for reference. Otherwise, we don't know if your proposal makes sense because we don't know the original notes.

CHANGELOG.md Show resolved Hide resolved
CHANGELOG.md Outdated Show resolved Hide resolved
CHANGELOG.md Outdated Show resolved Hide resolved
zhassan-aws
zhassan-aws reviewed Nov 16, 2023
View reviewed changes
CHANGELOG.md Outdated Show resolved Hide resolved
CHANGELOG.md Outdated Show resolved Hide resolved
CHANGELOG.md Outdated Show resolved Hide resolved
@jaisnan
Copy link
Contributor Author

jaisnan commented Nov 16, 2023

Here is the full auto-generated release notes:

## What's Changed
* Fix path-dependent failures in `assess-artifacts` test by @adpaco-aws in https://github.com/model-checking/kani/pull/2849
* Do not override `std` library during playback by @celinval in https://github.com/model-checking/kani/pull/2852
* Fix docker build step in release workflow by @adpaco-aws in https://github.com/model-checking/kani/pull/2854
* update in visualizing trace option by @muqsit-azeem in https://github.com/model-checking/kani/pull/2855
* Update Rust toolchain to 2023-11-06 by @zhassan-aws in https://github.com/model-checking/kani/pull/2858
* Delete `any_slice` which has been deprecated since Kani 0.38.0. by @zhassan-aws in https://github.com/model-checking/kani/pull/2860
* Fix setup for `aarch64-unknown-linux-gnu` platform by @adpaco-aws in https://github.com/model-checking/kani/pull/2864
* Automatic toolchain upgrade to nightly-2023-11-07 by @github-actions in https://github.com/model-checking/kani/pull/2862
* expect() does not take format strings by @matthiaskrgr in https://github.com/model-checking/kani/pull/2865
* Automatic toolchain upgrade to nightly-2023-11-08 by @github-actions in https://github.com/model-checking/kani/pull/2866
* const-ify `cover` by @jswrenn in https://github.com/model-checking/kani/pull/2867
* Automatic toolchain upgrade to nightly-2023-11-09 by @github-actions in https://github.com/model-checking/kani/pull/2868
* Automatic toolchain upgrade to nightly-2023-11-10 by @github-actions in https://github.com/model-checking/kani/pull/2869
* Automatic toolchain upgrade to nightly-2023-11-11 by @github-actions in https://github.com/model-checking/kani/pull/2870
* set python to 3.7 in docker container and release action by @remi-delmas-3000 in https://github.com/model-checking/kani/pull/2879
* Update dependencies from `cargo update` by @jaisnan in https://github.com/model-checking/kani/pull/2883

## New Contributors
* @muqsit-azeem made their first contribution in https://github.com/model-checking/kani/pull/2855
* @matthiaskrgr made their first contribution in https://github.com/model-checking/kani/pull/2865
* @jswrenn made their first contribution in https://github.com/model-checking/kani/pull/2867

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.40.0...kani-0.41.0

@adpaco-aws
Copy link
Contributor

I believe these are also user-facing:

* expect() does not take format strings by @matthiaskrgr in https://github.com/model-checking/kani/pull/2865
* const-ify `cover` by @jswrenn in https://github.com/model-checking/kani/pull/2867

and @zhassan-aws did

* Update Rust toolchain to 2023-11-06 by @zhassan-aws in https://github.com/model-checking/kani/pull/2858

zhassan-aws
zhassan-aws reviewed Nov 16, 2023
View reviewed changes
CHANGELOG.md Outdated Show resolved Hide resolved
adpaco-aws
adpaco-aws approved these changes Nov 17, 2023
View reviewed changes
Copy link
Contributor

@adpaco-aws adpaco-aws left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note: The branch needs to be updated.

@jaisnan jaisnan merged commit 3586ec8 into model-checking:main Nov 17, 2023
19 of 20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zhassan-aws zhassan-aws zhassan-aws approved these changes

@adpaco-aws adpaco-aws adpaco-aws approved these changes

@feliperodri feliperodri feliperodri approved these changes

Assignees
No one assigned
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@jaisnan @adpaco-aws @feliperodri @zhassan-aws